Nuprl Lemma : free-from-atom-nat 11,40

a:Atom1, n:n:||a 
latex


Definitions, False, A, A  B, i  j , P  Q, t  T, x:AB(x),
Lemmasle wf, ge wf, nat properties, nat wf

origin